← heapsort-ai

program synthesis

2 items

RESEARCH↑ trendingReddit r/MachineLearning·07/05/2026

META Superintelligence Lab Presents: ProgramBench: Can SOTA AI Recreate Real Executable Programs(ffmpeg, SQLite, ripgrep) From Scratch Without The Internet?

O Meta Superintelligence Lab apresenta o ProgramBench, uma iniciativa que testa a capacidade de IAs avançadas em recriar programas executáveis como ffmpeg e SQLite do zero, sem acesso à internet. Este estudo visa explorar os limites da geração de código por IA. A pesquisa foca na avaliação da autonomia e completude de modelos de IA na síntese de software complexo.

42
RESEARCHarXiv CS.CL·08/05/2026

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

O ReaComp compila o raciocínio de LLMs em resolvedores simbólicos para síntese de programas, abordando a ineficiência e falta de confiabilidade das LLMs em tarefas difíceis. Esses resolvedores autônomos superam as LLMs em precisão e eficiência, e melhoram as configurações híbridas neuro-simbólicas, reduzindo significativamente o uso de tokens.

29