Ospanov Azim

aziksh

·

aziksh-ospanov

AI & ML interests

None yet

Recent Activity

authored a paper 14 days ago

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

authored a paper 14 days ago

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

authored a paper 14 days ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

View all activity

Organizations

aziksh 's datasets 4

aziksh/TROJAN-BENCH-H

Viewer • Updated 15 days ago • 48 • 58

aziksh/TROJAN-BENCH-S

Viewer • Updated 15 days ago • 200 • 65

aziksh/animals_with_fruits_dalle3

Viewer • Updated Aug 6, 2025 • 2.01k • 610 • 1

aziksh/animals_with_objects_sdxl

Viewer • Updated Aug 6, 2025 • 3.6k • 6.07k • 1