M
MODELYST
AI research terminal
●
live · verified Jul 13
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
/
Gabriel Rongyang Lau
PPL
Gabriel Rongyang Lau
☆ Watch
Papers (1)
Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem