PrimaCore-ai

PrimaCore

primacore-ai

AI & ML interests

formal verification, autoformalization, theorem proving

Recent Activity

new activity 7 days ago

PAug/ProofNetSharp:Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)

liked a dataset 7 days ago

PAug/ProofNetSharp

new activity 7 days ago

PAug/ProofNetSharp:Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)

View all activity

Organizations

None yet

New activity in PAug/ProofNetSharp 7 days ago

Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)

#4 opened 7 days ago by

liked a dataset 7 days ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 3.61k • 10

New activity in PAug/ProofNetSharp 7 days ago

Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)

#4 opened 7 days ago by