Junming Qiu -

Not registered as user yet

Name:Junming Qiu

Country:China

Affiliation:Sun Yat-sen University

Contributions

2024

ISSTA

Author of Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking within the Technical Papers-track

ICSE

Author of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking within the New Ideas and Emerging Results-track