- All languages
- Adblock Filter List
- Assembly
- Astro
- Batchfile
- Bicep
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Cuda
- Cython
- Dafny
- Dart
- Dockerfile
- Forth
- G-code
- GAP
- GDScript
- GLSL
- Gnuplot
- Go
- Groovy
- HCL
- HTML
- Haskell
- Inform 7
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Mojo
- Move
- Nextflow
- Nginx
- Nim
- OCaml
- Objective-C++
- Odin
- PDDL
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- R
- Rich Text Format
- Roff
- Ruby
- Rust
- SAS
- SCSS
- Scala
- ShaderLab
- Shell
- Slash
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Verilog
- Vim Script
- Visual Basic 6.0
- Vue
- WebAssembly
- Zig
Starred repositories
2
stars
written in PDDL
Clear filter
Reasoning with Language Model is Planning with World Model
[ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples