Imagen de Portada

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Masoudian, Maryam, Zhou, Anshunkang, Wang, Chengpeng, Zhang, Charles
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering D.2.3; D.2.5; H.3.7
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Code Documentation and Analysis to Secure Software Development
por: Attie, Paul, et al.
Publicado: (2024)

Highly Interactive Testing for Uninterrupted Development Flow
por: Tropin, Andrew
Publicado: (2025)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
por: Kamiya, Toshihiro
Publicado: (2024)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
por: Dinu, Ion George, et al.
Publicado: (2026)

Retromorphic Testing with Hierarchical Verification for Hallucination Detection in RAG
por: Yu, Boxi, et al.
Publicado: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
por: Bruzzone, Federico, et al.
Publicado: (2025)

xML-workFlow: an end-to-end explainable scikit-learn workflow for rapid biomedical experimentation
por: Tran, Khoa A., et al.
Publicado: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
por: Vogel, Martin, et al.
Publicado: (2026)

OpenDORS: A dataset of openly referenced open research software
por: Druskat, Stephan, et al.
Publicado: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
por: Ravi, Ravin, et al.
Publicado: (2026)

Source Code Hotspots: A Diagnostic Method for Quality Issues
por: Muzammil, Saleha, et al.
Publicado: (2026)

The Transformative Influence of LLMs on Software Development & Developer Productivity
por: Jalil, Sajed
Publicado: (2023)

Characterizing JavaScript Security Code Smells
por: Kambhampati, Vikas, et al.
Publicado: (2024)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
por: Alkewitz, Leonhard, et al.
Publicado: (2024)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
por: Ge, Hua, et al.
Publicado: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
por: Wang, Changjie, et al.
Publicado: (2025)

Experience with GitHub Copilot for Developer Productivity at Zoominfo
por: Bakal, Gal, et al.
Publicado: (2025)

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
por: Torkamani, Mohammad Jalili, et al.
Publicado: (2024)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
por: Majdinasab, Vahid, et al.
Publicado: (2024)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
por: Holt, Samuel, et al.
Publicado: (2023)

AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs
por: Ahmed, Sheikh Nazib, et al.
Publicado: (2026)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
por: Prasetya, I. S. W. B., et al.
Publicado: (2026)

The Kieker Observability Framework Version 2
por: Yang, Shinhyung, et al.
Publicado: (2025)

Distilling Desired Comments for Enhanced Code Review with Large Language Models
por: Yu, Yongda, et al.
Publicado: (2024)

Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
por: Yu, Yongda, et al.
Publicado: (2025)

GazePrinter: Visualizing Expert Gaze to Guide Novices in a New Codebase
por: Kuang, Peng, et al.
Publicado: (2026)

Dear Diary: A randomized controlled trial of Generative AI coding tools in the workplace
por: Butler, Jenna, et al.
Publicado: (2024)

Enhancing Code Generation Performance of Smaller Models by Distilling the Reasoning Ability of LLMs
por: Sun, Zhihong, et al.
Publicado: (2024)

A Survey of Deep Learning Based Software Refactoring
por: Nyirongo, Bridget, et al.
Publicado: (2024)

The Case for HTML First Web Development
por: Vepsäläinen, Juho
Publicado: (2026)

Knowledge-Aware Code Generation with Large Language Models
por: Huang, Tao, et al.
Publicado: (2024)

Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
por: Blyth, Scott, et al.
Publicado: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
por: Tjoa, Ryan, et al.
Publicado: (2025)

AI-assisted JSON Schema Creation and Mapping
por: Neubauer, Felix, et al.
Publicado: (2025)

A Survey on Testing and Analysis of Quantum Software
por: Paltenghi, Matteo, et al.
Publicado: (2024)

The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
por: Farrag, Sabry E.
Publicado: (2026)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
por: Khan, Ishraq, et al.
Publicado: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
por: Ehmes, Sebastian, et al.
Publicado: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
por: Kratz, Maximilian, et al.
Publicado: (2025)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
por: Ariamajd, Armin, et al.
Publicado: (2025)