Program Synthesis Websites

- nuprl.org

implementing computational mathematics and providing logic-based tools that help automate programming

Not Applicable $ 8.95

- mommatriedmagazine.com

Momma Tried is becoming a cyborg.

Not Applicable $ 8.95

- counterfeit-code.github.io

Website for paper, The Counterfeit Conundrum

Not Applicable $ 8.94

- crux-eval.github.io

CRUXEval: evaluating the code reasoning, understanding, and execution abilities of code LMs

Not Applicable $ 8.94