akshayrangasai / IITMLatextResumeLinks
Compact LaTeX Template for the standard institute format. This is a modification of MR Bharath's LaTeX template. I've made it more compact and added a small table option
☆11Updated 8 years ago
Alternatives and similar repositories for IITMLatextResume
Users that are interested in IITMLatextResume are comparing it to the libraries listed below
Sorting:
- ☆126Updated 7 years ago
- ☆101Updated 5 years ago
- The released code of ReluVal in USENIX Security 2018☆60Updated 5 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- LaTeX Template for Reports required of BITS Pilani students (Thesis, Practice School, PhD, Projects - Study, Lab, Design)☆83Updated 9 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆42Updated 6 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆132Updated 2 years ago
- Program synthesis class taught by Loris D'Antoni☆29Updated 7 months ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆29Updated 5 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Neural Network Verification Software Tool☆128Updated this week
- Chrome extension for helping nonresident alien fill in the 1099-B stock transaction☆33Updated 4 years ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆13Updated 5 years ago
- CS Graduate Job Guide☆32Updated 8 months ago
- Program Synthesis Course☆255Updated last year
- ETH Robustness Analyzer for Deep Neural Networks☆339Updated 2 years ago
- ☆17Updated 2 years ago
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- Neural Network Enumeration Tool☆34Updated 2 years ago
- ☆115Updated last year
- A Framework for Deep Neural Network Verification☆56Updated 7 months ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification☆9Updated last year
- FYP/ UROP LaTeX template for School of Computing☆49Updated 3 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated 11 months ago
- A curated list of fellowships for graduate students in Computer Science and related fields.☆677Updated last month
- ☆289Updated 2 months ago
- Benchmarks for the VNN Comp 2023☆16Updated last year
- The released code of Neurify in NIPS 2018☆49Updated 2 years ago