Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

告别枯燥，致力于打造 Python 实用小例子，更多Python良心教程见 https://ai-jupyter.com

Templates for generating a CV with R Markdown + entries in a spreadsheet

An end-to-end framework for mixed-integer optimization with data-driven learned constraints.

The P programming language.

an educational compiler intermediate representation

Relational Verification using Reinforcement Learning (Learning Source Code)

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

A curated list of awesome neural programming resources

Code2Inv: Learning Loop Invariants for Program Verification

Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Dafny is a verification-aware programming language

A beautiful, simple, clean, and responsive Jekyll theme for academics

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

A Julia interface to the Gurobi Optimizer

Data and analysis for 'Machine Bias'

Julia implementation of Decision Tree (CART) and Random Forest algorithms

A Theme for GitHub Pages

[PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning

Software Engineering for AI/ML -- An Annotated Bibliography

Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"

Benchmarks for SyGuS Competition (SyGuS-Comp)

Collection of Verification Tasks (MOVED, please follow the link)

A collection of Jena-extensions for hiding SPARQL-complexity from the application layer

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks i…