agenticNext

AI & ML interests

None defined yet.

Recent Activity

aziksh  authored a paper 1 day ago

Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs

aziksh  authored a paper 1 day ago

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

aziksh  authored a paper 1 day ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

View all activity

Team members 2