activity
20172024
most citedA Constructive Formalization of the Weak Perfect Graph Theorem

5 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.SE2024

Assured Automatic Programming via Large Language Models

Martin Mirchev, Andreea Costea, Abhishek Kr Singh +1

With the advent of AI-based coding engines, it is possible to convert natural language requirements to executable code in standard programming languages. However, AI-generated code…

cs.LO2024★ 1 cited

Double Auctions: Formalization and Automated Checkers

Mohit Garg, N. Raja, Suneel Sarswat +1

Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers ha…