Sorry for the nitpicking. I don't have access to do this I think --- but I would change:
"Benchmark for auto-formalizing DRAM JEDEC specifications into Petri nets using agents'"
to "Autoformalization benchmark for DRAM specifications"
I think having it be crisp is nice (Petri-nets will become apparent in the README), and it's not technically just an agentic benchmark, people can use whatever approach they want.
Sorry for the nitpicking. I don't have access to do this I think --- but I would change:
"Benchmark for auto-formalizing DRAM JEDEC specifications into Petri nets using agents'"
to "Autoformalization benchmark for DRAM specifications"
I think having it be crisp is nice (Petri-nets will become apparent in the README), and it's not technically just an agentic benchmark, people can use whatever approach they want.