Skip to content

Pull requests: Tyler-R-Kendrick/slm-training

New pull request New
22 Open 334 Closed
22 Open 334 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(grammar-diffusion): VSS3-03 topology solver decode seam (SLM-71)
#356 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
SLM-128 (LDI3-01): structured local-preference objectives (Legal-Set FTPO, TAB-PO barrier, TBPO ratio control)
#355 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
VSS3-05 (SLM-73): constrained autoregressive surface realizer
#352 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
VSS3-04 (SLM-72): typed late-surface-realization slots and deterministic verified baseline
#350 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
VSS3-02 (SLM-70): cost-to-go energy scorer as permutation-only ranker
#348 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
Add cost-to-go energy scorer for the verified solver (SLM-70)
#347 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
VSS2-04 (SLM-68): semantic opaque regions and hygienic splicing
#346 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
SLM-69: VSS3-01 replay-verified solver supervision corpus
#344 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
Build replay-verified solver supervision corpus (SLM-69)
#343 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
SLM-66: VSS2-02 capsule solve plans, SCC joint solving, and interface summaries
#342 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
Persist and replay solver deductions, decisions, and metrics (SLM-64)
#341 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
Integrate exact closure into compiler decode behind a flag (SLM-63)
#340 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
CAP3-01: reference low-bit quantizers and physical-cost ledger
#338 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
Add bounded proof-carrying search controller (SLM-62)
#337 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
CAP2-01: strict K-ary bottleneck phase-boundary experiment harness (SLM-86)
#336 opened Jul 18, 2026 by Tyler-R-Kendrick Owner Loading…
2
CAP1-01: bounded OpenUI grammar/scope state graph and exact continuation quotient
#333 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
2
CAP0-04: Exact-vs-estimated arity certificates and provenance-aware reports (SLM-80)
#330 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
2
SLM-105: add binding-aware meaningful-program evaluation
#328 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
2
CAP0-03: Exact robust-code constructions and residual-precision reference functions (SLM-79)
#327 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
2
VSS2-03: Torch-free topology-to-finite-domain adapter (SLM-67)
#326 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
13
SLM-56: Fix dashboard experiment follow-ups
#317 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
2
Enforce semantic contracts in synthesized training data
#316 opened Jul 17, 2026 by Tyler-R-Kendrick Owner Loading…
4
ProTip! What’s not been updated in a month: updated:<2026-06-17.