Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

Amit Zohar, Lior Wolf

Nov-20-2025, 11:06:28 GMT–Neural Information Processing Systems

Neural Information Processing Systems http://nips.cc/

experiment, logic & formal reasoning, machine learning, (18 more...)

Neural Information Processing Systems

Nov-20-2025, 11:06:28 GMT

Conferences PDF

Country:
- Asia > Middle East
  - Israel > Tel Aviv District > Tel Aviv (0.04)
- North America
  - Canada > Quebec
    - Montreal (0.04)
  - Mexico > Gulf of Mexico (0.04)
  - United States
    - California > San Mateo County
      - Menlo Park (0.04)
    - New York > New York County
      - New York City (0.04)

Genre:
- Research Report (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Representation & Reasoning
    - Logic & Formal Reasoning (0.51)
    - Search (0.47)