crharshaw / yale-dissertation-templateLinks
A Latex template for formatting the Yale GSAS dissertation
☆19Updated 3 years ago
Alternatives and similar repositories for yale-dissertation-template
Users that are interested in yale-dissertation-template are comparing it to the libraries listed below
Sorting:
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- A pytorch implementation of Deep Functional Map (FMNet).☆15Updated 5 years ago
- [ICLR 2019] Learning to Infer and Execute 3D Shape Programs☆112Updated 3 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- ☆13Updated 3 months ago
- PyTorch Implementation of GRASS☆91Updated 5 years ago
- CSGNet: Neural Shape parser for Constructive Solid Geometry☆79Updated 5 years ago
- Program Synthesis Course☆254Updated last year
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- ☆52Updated 6 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 4 years ago
- ☆9Updated 3 years ago
- ☆44Updated 7 years ago
- A survival guide for CS PhD students at Stanford☆46Updated 7 years ago
- Communication between Coq and SAT/SMT solvers☆159Updated 8 months ago
- code for "Neural Cages for Detail-Preserving 3D Deformations"☆174Updated 4 years ago
- GRAINS: Generative Recursive Autoencoders for INdoor Scenes☆80Updated 4 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated 10 months ago
- ☆40Updated 6 years ago
- ☆25Updated 8 years ago
- [SIGGRAPH 2018] Predictive and Generative Deep Neural Networks for Object Functionality☆20Updated 5 years ago
- PL conference deadline countdowns☆60Updated 2 months ago
- ☆37Updated 8 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Code for the paper "CompoNet: Learning to Generate the Unseen by Part Synthesis and Composition"☆27Updated 5 years ago
- ☆42Updated 4 months ago
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- ☆23Updated 2 years ago