Author

Ivan Beschastnikh

h-index 2 View on Semantic Scholar

We have 2 of 5 papers

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.

#natural language process... Preprint Aug 2026

When Who You Are Can Change the Code You Get: A Study of Persona-Induced Bias in LLM Code Generation

Large Language Models (LLMs) are widely used as programming assistants, yet it remains unclear whether and how user's demographic information impacts the technical quality of generated code. We conduct a large-scale empirical study of persona-induced bias in LLM-based code generation, focusing a proprietary model (Gemi...

Anubhav Gupta, M. Figueiredo, L. Machado et al. · 0 citations

Jul 2026

Specula: Scaling formal specifications for autonomous model checking of system code

Specula is a push-button agentic system that generates high-quality formal specifications for large, complex system code and uses the specifications for highly effective model checking and bug finding. Specula employs large language model (LLM) based coding agents to autonomously develop TLA+ specifications, including...

Q. Cheng, Saad Mohammad Rafid Pial, Ruize Tang et al. · arXiv.org · 0 citations