PulseAugur
EN
LIVE 07:06:42
ENTITY Curry–Howard correspondence

Curry–Howard correspondence

PulseAugur coverage of Curry–Howard correspondence — every cluster mentioning Curry–Howard correspondence across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_156294 ·

    Neurosymbolic framework reconstructs LLM outputs using Combinatory Categorial Grammar

    Researchers have proposed a neurosymbolic framework to reconstruct the outputs of large language models (LLMs) into typed compositional derivations using Combinatory Categorial Grammar (CCG). This approach, while not cl…