~/talk

Enhanced and Efficient Reasoning in Large Language Models

links:none on file
slides:none on file

Proposes a two-stage pipeline that first recodes text into a Unary Relational Integracode (expand each entity into ~4 local Boolean/embedding slots) and then trains a standard classifier to predict relations, enabling robust logic style probabilistic chaining across learned rules. Claims a reduction to a k-DNF mapping (k set by rule arity) that makes core relational-rule learning polynomial-time in rule complexity under simple-scene heuristics. Demonstrated on a small Wall Street Journal experiment (246 target words) with measurable prediction gains for many words.

AI-written summary · about

  1. 0:00Introduction
  2. 1:27Trust gap in LLMs for life advice
  3. 5:27Principled reasoning for LLMs
  4. 9:04Robust logic principles
  5. 14:14Early robust logic experiments
  6. 20:45Token representations for reasoning
  7. 28:04Theoretical foundations of robust logic
  8. 31:35Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.