vix.ing · top · new · best · stats · spec

Aditi Aditi

  1. LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
    2025/05/21 by Sicheol Sung, Sung, Sicheol, Aditi Aditi +6 · 3 citations
    Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Software Engineering (cs.SE)