Ibby Mian

millenniumibby's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in PAug/ProofNetSharp 2 months ago

Confirmed faithfulness defects in 30 ProofNetSharp statements

#2 opened 2 months ago by

millenniumibby

New activity in cat-searcher/minif2f-lean4 2 months ago

Confirmed faithfulness defects in 23 miniF2F Lean 4 statements

#2 opened 2 months ago by

millenniumibby