M
MODELYST
AI research terminal
●
live · verified Jul 6
Search
⌘K
Frontier
Models
Compare
Leaderboards
Changes
Media
Benchmarks
Papers
Pick
Discover
Ask
Frontier
Models
Compare
Leaderboards
Changes
Media
Benchmarks
Papers
Pick
Discover
Ask
People
/
Izack Cohen
PPL
Izack Cohen
☆ Watch
Papers (2)
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Petri Net Induced Heuristic Search for Resource Constrained Scheduling