Ibby Mian

millenniumibby

2

https://www.millenniumresearch.ai/index.html

AI & ML interests

None yet

Recent Activity

new activity 7 days ago

PAug/ProofNetSharp:Confirmed faithfulness defects in 30 ProofNetSharp statements

new activity 8 days ago

cat-searcher/minif2f-lean4:Confirmed faithfulness defects in 23 miniF2F Lean 4 statements

View all activity

Organizations

None yet

New activity in PAug/ProofNetSharp 7 days ago

Confirmed faithfulness defects in 30 ProofNetSharp statements

#2 opened 7 days ago by

New activity in cat-searcher/minif2f-lean4 8 days ago

Confirmed faithfulness defects in 23 miniF2F Lean 4 statements

#2 opened 8 days ago by