1 paper
Henri Nikoleit, Ankit Anand, Anurag Murty Naredla +1
We demonstrate the power of human-LLM collaboration in tackling open problems in theoretical computer science. Focusing on combinatorial optimization, we refine outputs from the Fu…