Zaid Khan (@codezakh) 's Twitter Profile
Zaid Khan

@codezakh

@uncnlp with @mohitban47 working on grounded reasoning + multimodal agents // currently @allen_ai formerly @neclabsamerica // bs+ms CompE @northeastern

ID: 1669925833891356673

linkhttp://zaidkhan.me calendar_today17-06-2023 04:32:28

373 Tweet

508 Followers

755 Following

Zaid Khan (@codezakh) 's Twitter Profile Photo
Zaid Khan
@codezakh

4 months ago

What if we could transform advanced math problems into abstract programs that can generate endless, verifiable problem variants? Presenting EFAGen, which automatically transforms static advanced math problems into their corresponding executable functional abstractions (EFAs).

What if we could transform advanced math problems into abstract programs that can generate endless, verifiable problem variants? Presenting EFAGen, which automatically transforms static advanced math problems into their corresponding executable functional abstractions (EFAs).