Proving the Coding Interview: A Benchmark for Formally Verified Code Generation Feb 8, 2025 Automated Theorem Proving Code Generation
— Unverified 0CodeSCM: Causal Analysis for Multi-Modal Code Generation Feb 7, 2025 Code Generation
Code Code Available 0Optimistic Gradient Learning with Hessian Corrections for High-Dimensional Black-Box Optimization Feb 7, 2025 Code Generation
— Unverified 0Refining Integration-by-Parts Reduction of Feynman Integrals with Machine Learning Feb 7, 2025 Code Generation Language Modeling
— Unverified 0LLMs can be easily Confused by Instructional Distractions Feb 5, 2025 Bias Detection Code Generation
— Unverified 0Path Planning for Masked Diffusion Model Sampling Feb 5, 2025 Code Generation In-Context Learning
— Unverified 0Large Language Model Guided Self-Debugging Code Generation Feb 5, 2025 Code Generation Computational Efficiency
— Unverified 0Teaching Language Models to Critique via Reinforcement Learning Feb 5, 2025 Code Generation reinforcement-learning
— Unverified 0Can LLMs Maintain Fundamental Abilities under KV Cache Compression? Feb 4, 2025 Arithmetic Reasoning Code Generation
— Unverified 0LongDPO: Unlock Better Long-form Generation Abilities for LLMs via Critique-augmented Stepwise Information Feb 4, 2025 Code Generation Form
Code Code Available 0The Elicitation Game: Evaluating Capability Elicitation Techniques Feb 4, 2025 Code Generation
Code Code Available 0Analysis of Student-LLM Interaction in a Software Engineering Project Feb 3, 2025 Code Generation Code Summarization
— Unverified 0Next Steps in LLM-Supported Java Verification Feb 3, 2025 Code Generation
— Unverified 0PlotGen: Multi-Agent LLM-based Scientific Data Visualization via Multimodal Feedback Feb 3, 2025 Code Generation Data Visualization
— Unverified 0Toward Neurosymbolic Program Comprehension Feb 3, 2025 Code Generation software testing
— Unverified 0SE Arena: An Interactive Platform for Evaluating Foundation Models in Software Engineering Feb 3, 2025 Benchmarking Code Generation
— Unverified 0Process-Supervised Reinforcement Learning for Code Generation Feb 3, 2025 Code Generation reinforcement-learning
— Unverified 0Security and Quality in LLM-Generated Code: A Multi-Language, Multi-Model Analysis Feb 3, 2025 Code Generation
— Unverified 0Analysis of LLMs vs Human Experts in Requirements Engineering Jan 31, 2025 Code Generation
— Unverified 0Importing Phantoms: Measuring LLM Package Hallucination Vulnerabilities Jan 31, 2025 Code Generation Hallucination
— Unverified 0Towards Adaptive Self-Improvement for Smarter Energy Systems Jan 31, 2025 Code Generation Decision Making
— Unverified 0Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability Jan 30, 2025 Code Generation Language Modeling
— Unverified 0Statistical multi-metric evaluation and visualization of LLM system predictive performance Jan 30, 2025 Code Generation Decision Making
— Unverified 0Cogito, ergo sum: A Neurobiologically-Inspired Cognition-Memory-Growth System for Code Generation Jan 30, 2025 Code Generation Hippocampus
Code Code Available 0Using Code Generation to Solve Open Instances of Combinatorial Design Problems Jan 29, 2025 Code Generation valid
Code Code Available 0GLLM: Self-Corrective G-Code Generation using Large Language Models with User Feedback Jan 29, 2025 Code Generation RAG
— Unverified 0Programming by Examples Meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction Jan 27, 2025 Code Generation Inductive Bias
— Unverified 0CoCoNUT: Structural Code Understanding does not fall out of a tree Jan 27, 2025 Code Generation HumanEval
Code Code Available 0Advancing Generative Artificial Intelligence and Large Language Models for Demand Side Management with Internet of Electric Vehicles Jan 26, 2025 Code Generation energy management
— Unverified 0ENTER: Event Based Interpretable Reasoning for VideoQA Jan 24, 2025 Code Generation EgoSchema
— Unverified 0Chain of Grounded Objectives: Bridging Process and Goal-oriented Prompting for Code Generation Jan 23, 2025 Code Generation
— Unverified 0Pseudocode-Injection Magic: Enabling LLMs to Tackle Graph Computational Tasks Jan 23, 2025 Code Generation Computational Efficiency
— Unverified 0Correctness Assessment of Code Generated by Large Language Models Using Internal Representations Jan 22, 2025 Code Generation
Code Code Available 0Revisit Self-Debugging with Self-Generated Tests for Code Generation Jan 22, 2025 Code Generation
— Unverified 0Towards Advancing Code Generation with Large Language Models: A Research Roadmap Jan 20, 2025 Code Generation
— Unverified 0Consolidating TinyML Lifecycle with Large Language Models: Reality, Illusion, or Opportunity? Jan 20, 2025 Code Generation Model Optimization
— Unverified 0QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks Jan 20, 2025 Code Generation HumanEval
— Unverified 0GREEN-CODE: Learning to Optimize Energy Efficiency in LLM-based Code Generation Jan 19, 2025 Bug fixing Code Completion
Code Code Available 0SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPs Jan 16, 2025 AI Agent Code Generation
— Unverified 0The Invisible Hand: Unveiling Provider Bias in Large Language Models for Code Generation Jan 14, 2025 Code Generation Dataset Generation
— Unverified 0Leveraging Metamemory Mechanisms for Enhanced Data-Free Code Generation in LLMs Jan 14, 2025 Code Generation HumanEval
— Unverified 0Evaluating Agent-based Program Repair at Google Jan 13, 2025 Code Generation Program Repair
— Unverified 0Guided Code Generation with LLMs: A Multi-Agent Framework for Complex Code Tasks Jan 11, 2025 Code Generation HumanEval
— Unverified 0Dafny as Verification-Aware Intermediate Language for Code Generation Jan 10, 2025 Code Generation HumanEval
— Unverified 0BioAgents: Democratizing Bioinformatics Analysis with Multi-Agent Systems Jan 10, 2025 Code Generation RAG
— Unverified 0FairCoder: Evaluating Social Bias of LLMs in Code Generation Jan 9, 2025 Code Generation Fairness
Code Code Available 0Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning Jan 9, 2025 Code Generation
— Unverified 0EpiCoder: Encompassing Diversity and Complexity in Code Generation Jan 8, 2025 Code Generation Diversity
— Unverified 0Robotic Programmer: Video Instructed Policy Code Generation for Robotic Manipulation Jan 8, 2025 Code Generation Language Modeling
— Unverified 0The Future of AI: Exploring the Potential of Large Concept Models Jan 8, 2025 Autonomous Vehicles Code Generation
— Unverified 0