Author

Ruijie Meng

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Towards Autonomous Software Development

A three-level taxonomy inspired by autonomous driving that distinguishes degrees of autonomy along a roadmap from today’s AI-assisted development workflows to fully autonomous software development in which AI systems autonomously identify demands and design, implement, verify, and maintain software without human oversight is introduced.

Hao Wang, Ruijie Meng, Zhe Ye et al. · 0 citations

Preprint Jul 2026

When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference

The results show that witness generation effectively distinguishes inferences supported by plausible completions from those requiring unrealistic assumptions, providing a practical mechanism for validating reasoning over incomplete programs.

Zhiyuan Liu, Yihe Li, Trevor E. Carlson et al. · 0 citations