This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Zaid Khan
codezakh.bsky.social
did:plc:pjftayddske5he65o3vt6yaz
➡️ EFAGen can generate data to augment static math datasets
➡️ EFAGen can infer EFAs for diverse + difficult math problems
➡️ Use EFAs to find + generate harder variants of existing math problems
➡️ LLMs can self-improve at writing EFAs
2025-04-15T19:37:56.612Z