{"total":37,"rows":[{"id":"2305.01210","title":"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation","created":"2023-05-02","cited_by_count":1391,"area":null},{"id":"2302.07867","title":"Learning Performance-Improving Code Edits","created":"2023-02-15","cited_by_count":106,"area":null},{"id":"2108.11451","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey","created":"2021-08-25","cited_by_count":72,"area":null},{"id":"2406.06647","title":"How Efficient is LLM-Generated Code? A Rigorous & High-Standard Benchmark","created":"2024-06-10","cited_by_count":43,"area":null},{"id":"2106.15339","title":"SpreadsheetCoder: Formula Prediction from Semi-structured Context","created":"2021-06-26","cited_by_count":41,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2107.00101","title":"Latent Execution for Neural Program Synthesis","created":"2021-06-29","cited_by_count":35,"area":null},{"id":"2406.08316","title":"Is Programming by Example solved by LLMs?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2302.08624","title":"InstructABSA: Instruction Learning for Aspect Based Sentiment Analysis","created":"2023-02-16","cited_by_count":23,"area":null},{"id":"2203.10452","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","created":"2022-03-20","cited_by_count":18,"area":null},{"id":"2405.15880","title":"HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis","created":"2024-05-24","cited_by_count":15,"area":null},{"id":"2210.07024","title":"Self-explaining deep models with logic rule reasoning","created":"2022-10-13","cited_by_count":13,"area":null},{"id":"2207.11765","title":"Neurosymbolic Repair for Low-Code Formula Languages","created":"2022-07-24","cited_by_count":12,"area":null},{"id":"2109.08079","title":"Context-NER : Contextual Phrase Generation at Scale","created":"2021-09-16","cited_by_count":11,"area":null},{"id":"2102.11137","title":"Program Synthesis Guided Reinforcement Learning for Partially Observed Environments","created":"2021-02-22","cited_by_count":8,"area":null},{"id":"2106.07175","title":"Learning to Combine Per-Example Solutions for Neural Program Synthesis","created":"2021-06-14","cited_by_count":8,"area":null},{"id":"2402.14853","title":"NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries","created":"2024-02-20","cited_by_count":8,"area":null},{"id":"2310.04327","title":"Program Synthesis with Best-First Bottom-Up Search","created":"2023-10-06","cited_by_count":7,"area":null},{"id":"2110.12485","title":"Scaling Neural Program Synthesis with Distribution-based Search","created":"2021-10-24","cited_by_count":6,"area":null},{"id":"2202.00475","title":"From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction","created":"2022-01-16","cited_by_count":4,"area":null},{"id":"2208.05297","title":"Learning to Improve Code Efficiency","created":"2022-08-09","cited_by_count":4,"area":null},{"id":"2407.08597","title":"Learning Program Behavioral Models from Synthesized Input-Output Pairs","created":"2024-07-11","cited_by_count":4,"area":null},{"id":"2101.09571","title":"BF++: a language for general-purpose program synthesis","created":"2021-01-23","cited_by_count":3,"area":null},{"id":"2305.16357","title":"EDM3: Event Detection as Multi-task Text Generation","created":"2023-05-25","cited_by_count":3,"area":null},{"id":"2211.00828","title":"Synthesizing Programs with Continuous Optimization","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2306.07856","title":"Bayesian Program Learning by Decompiling Amortized Knowledge","created":"2023-06-13","cited_by_count":2,"area":null},{"id":"2304.10500","title":"Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code","created":"2023-03-15","cited_by_count":1,"area":null},{"id":"2307.05603","title":"Can You Improve My Code? Optimizing Programs with Local Search","created":"2023-07-10","cited_by_count":1,"area":null},{"id":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null},{"id":"2204.08643","title":"Example-based Synthesis of Static Analysis Rules","created":"2022-04-19","cited_by_count":0,"area":null},{"id":"2303.07166","title":"Improved Tree Search for Automatic Program Synthesis","created":"2023-03-13","cited_by_count":0,"area":null},{"id":"2303.08574","title":"WikiCoder: Learning to Write Knowledge-Powered Code","created":"2023-03-15","cited_by_count":0,"area":null},{"id":"2305.15642","title":"Learning-Based Automatic Synthesis of Software Code and Configuration","created":"2023-05-25","cited_by_count":0,"area":null},{"id":"2311.03753","title":"COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System","created":"2023-11-07","cited_by_count":0,"area":null},{"id":"2503.18509","title":"Neuro-symbolic Weak Supervision: Theory and Semantics","created":"2025-03-24","cited_by_count":0,"area":null},{"id":"2509.01016","title":"Analysis of Error Sources in LLM-based Hypothesis Search for Few-Shot Rule Induction","created":"2025-08-31","cited_by_count":0,"area":null},{"id":"2603.02235","title":"Talking with Verifiers: Automatic Specification Generation for Neural Network Verification","created":"2026-02-13","cited_by_count":0,"area":null}],"next_cursor":null}