img{ padding: 5px; } h5{ padding: 5px; }

Automated Synthesis: Towards the Holy Grail of AI

Kuldeep S. Meel, Supratik Chakraborty, S. Akshay, Priyanka Golia, Subhajit Roy

software

BFSS(Blazingly Fast Skolem function Synthesis:) An apporach based on Knowledge complication and counterexample guided repair.

C2Syn: A knowledge complication based apporach.

Manthan: A data-driven approach for functional synthesis.