References¶
Academic papers and resources used in UPIR.
Primary Source¶
- TD Commons Disclosure: Automated Synthesis and Verification of Distributed Systems Using UPIR
CEGIS¶
- Armando Solar-Lezama et al., "Program Synthesis by Sketching", 2008
PPO¶
- Schulman et al., "Proximal Policy Optimization Algorithms", 2017
Z3¶
See Also¶
- SOURCES.md - Complete list of references