4 citations · 8 across the 20 of their papers we have counts for
1 paper · 2 filters
Omid Nejati Manzari, Guillaume Lajoie, Hassan Rivaz
Hard symbolic-reasoning tasks such as Sudoku, maze pathfinding, and ARC remain challenging for LLMs due to their fixed-depth autoregressive reasoning, which limits systematic searc…