Ruibang Liu

1. Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
   2024/12/13 by Ruibang Liu, Minyu Chen, Liu, Ruibang +7 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Reinforcement Learning in Robotics #Software Engineering (cs.SE)
2. Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
   2024/03/24 by Minyu Chen, Chen, Minyu, Guoqiang Li +11 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Software Engineering (cs.SE)