Copertina

Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kulkarni, Janardhan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery
di: Wu, Qiushi, et al.
Pubblicazione: (2025)

DIVE: Scaling Diversity in Agentic Task Synthesis for Generalizable Tool Use
di: Chen, Aili, et al.
Pubblicazione: (2026)

Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs
di: Dhulshette, Nilesh, et al.
Pubblicazione: (2025)

AI-Driven Self-Evolving Software: A Promising Path Toward Software Automation
di: Cai, Liyi, et al.
Pubblicazione: (2025)

Effective Harness Engineering for Algorithm Discovery with Coding Agents
di: Ishibashi, Yoichi, et al.
Pubblicazione: (2026)

MCP-Zero: Active Tool Discovery for Autonomous LLM Agents
di: Fei, Xiang, et al.
Pubblicazione: (2025)

Retrieval-Augmented Generation for Service Discovery: Chunking Strategies and Benchmarking
di: Pesl, Robin D., et al.
Pubblicazione: (2025)

Skill Discovery for Software Scripting Automation via Offline Simulations with LLMs
di: Xu, Paiheng, et al.
Pubblicazione: (2025)

Structural Enforcement of Statistical Rigor in AI-Driven Discovery: A Functional Architecture
di: Sargsyan, Karen
Pubblicazione: (2025)

MAS-Algorithm: A Workflow for Solving Algorithmic Programming Problems with a Multi-Agent System
di: Xu, Yuliang, et al.
Pubblicazione: (2026)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
di: Sivakumar, Mithila, et al.
Pubblicazione: (2024)

Semantic Tool Discovery for Large Language Models: A Vector-Based Approach to MCP Tool Selection
di: Mudunuri, Sarat, et al.
Pubblicazione: (2026)

daVinci-Env: Open SWE Environment Synthesis at Scale
di: Fu, Dayuan, et al.
Pubblicazione: (2026)

Online Prompt Selection for Program Synthesis
di: Li, Yixuan, et al.
Pubblicazione: (2025)

Migrating Code At Scale With LLMs At Google
di: Ziftci, Celal, et al.
Pubblicazione: (2025)

Practical Limits of Autonomous Test Repair: A Multi-Agent Case Study with LLM-Driven Discovery and Self-Correction
di: Lee, Hyukjoo
Pubblicazione: (2026)

Applying an Agentic Coding Tool for Improving Published Algorithm Implementations
di: Suwannik, Worasait
Pubblicazione: (2026)

Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization
di: Chen, Zhi, et al.
Pubblicazione: (2024)

Mastering the Craft of Data Synthesis for CodeLLMs
di: Chen, Meng, et al.
Pubblicazione: (2024)

Scaling Coding Agents via Atomic Skills
di: Ma, Yingwei, et al.
Pubblicazione: (2026)

Procedural Refinement by LLM-driven Algorithmic Debugging for ARC-AGI-2
di: Qiu, Yu-Ning, et al.
Pubblicazione: (2026)

Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
di: Le, Viet-Man, et al.
Pubblicazione: (2026)

irace-evo: Automatic Algorithm Configuration Extended With LLM-Based Code Evolution
di: Sartori, Camilo Chacón, et al.
Pubblicazione: (2025)

From Articles to Code: On-Demand Generation of Core Algorithms from Scientific Publications
di: Movassaghi, Cameron S., et al.
Pubblicazione: (2025)

ARCS: Agentic Retrieval-Augmented Code Synthesis with Iterative Refinement
di: Bhattarai, Manish, et al.
Pubblicazione: (2025)

API-guided Dataset Synthesis to Finetune Large Code Models
di: Li, Zongjie, et al.
Pubblicazione: (2024)

Position: Early-Stage Quality Assurance in Annotation Pipelines Is More Cost-Effective Than Late-Stage Validation
di: Kothari, Sunil, et al.
Pubblicazione: (2026)

SWE-Universe: Scale Real-World Verifiable Environments to Millions
di: Chen, Mouxiang, et al.
Pubblicazione: (2026)

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation
di: Arrieta, Aitor, et al.
Pubblicazione: (2025)

Does In-IDE Calibration of Large Language Models work at Scale?
di: Koohestani, Roham, et al.
Pubblicazione: (2025)

Dr. Boot: Bootstrapping Program Synthesis Language Models to Perform Repairing
di: van der Vleuten, Noah
Pubblicazione: (2025)

MemoCoder: Automated Function Synthesis using LLM-Supported Agents
di: Jia, Yiping, et al.
Pubblicazione: (2025)

GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
di: Shen, Leming, et al.
Pubblicazione: (2025)

Learning From Developers: Towards Reliable Patch Validation at Scale for Linux
di: Lin, Chih-En, et al.
Pubblicazione: (2026)

Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction
di: Zhang, Zhe, et al.
Pubblicazione: (2025)

From I/O to Code with Discovery Agent
di: Dong, Yihong, et al.
Pubblicazione: (2026)

Enhancing Software Vulnerability Detection Through Adaptive Test Input Generation Using Genetic Algorithm
di: Mehendran, Yanusha, et al.
Pubblicazione: (2025)

Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report
di: Sengupta, Satadru, et al.
Pubblicazione: (2026)

ResearchEnvBench: Benchmarking Agents on Environment Synthesis for Research Code Execution
di: Wang, Yubang, et al.
Pubblicazione: (2026)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2026)