A Neural Theorem Proving Group

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123  updated a collection 2 days ago

Minilang OOPSLA'26 Models

xqyww123  updated a collection 2 days ago

Minilang OOPSLA'26 Models

xqyww123  updated a collection 2 days ago

Minilang OOPSLA'26 Models

View all activity

Team members 3