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
- ☆9Updated 3 years ago
- A survival guide for CS PhD students at Stanford☆46Updated 7 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
- Program Synthesis Course☆254Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆96Updated 4 years ago
- Slides and codes☆20Updated 5 years ago
- CSGNet: Neural Shape parser for Constructive Solid Geometry☆79Updated 5 years ago
- ☆23Updated 5 years ago
- A pytorch implementation of Deep Functional Map (FMNet).☆15Updated 5 years ago
- PyTorch Implementation of GRASS☆91Updated 5 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated 10 months ago
- ☆25Updated 8 years ago
- CS Graduate Job Guide☆32Updated 7 months ago
- ☆159Updated 3 years ago
- Public repository for CIL☆40Updated 4 years ago
- https://carolzxyzxy.github.io/☆1Updated 2 years ago
- ☆23Updated 5 years ago
- GRAINS: Generative Recursive Autoencoders for INdoor Scenes☆80Updated 4 years ago
- ☆52Updated 7 months ago
- ☆104Updated 3 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 5 years ago
- A Better HKUST LaTeX Thesis Template☆75Updated 7 years ago
- Code release for "Learning Adaptive Hierarchical Cuboid Abstractions of 3D Shape Collections" (SIGGRAPH Asia 2019)☆53Updated 5 years ago
- Scripts for rendering shapenet data in blender☆29Updated 4 years ago
- ☆13Updated 3 months ago
- Program Synthesis☆145Updated 4 years ago
- PyTorch 1.5 implementation for paper DECOR-GAN: 3D Shape Detailization by Conditional Refinement.☆84Updated 2 years ago
- Code for the paper Shape Reconstruction by Learning Differentiable Surface Representations accepted to CVPR'20☆26Updated 2 years ago