Bluesky Explorer

#Logig

Latest posts tagged with #Logig on Bluesky

Trending

#MJF Tribute #Javier Bardem #WBC #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace #MJF Tribute #Javier Bardem #WBC #Marty Supreme #Andrade #Jessie Buckley #Academy Awards #MBJ #Autumn Durald Arkapaw #Wallace

Posts tagged #Logig

José A. Alonso

@jalonso.eurosky.social

1 year ago

Preview

Readings shared February 4, 2025 The readings shared in Bluesky on 4 March 2025 are Formalizing zeta and L-functions in Lean. ~ David Loeffler, Michael Stoll. #ITP #LeanProver #Math Lean Copilot: Large language models as copilots fo

Readings shared March 4, 2025. jaalonso.github.io/vestigium/po... #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

2 1 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Preview

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection Translating natural language into formal language such as First-Order Logic (FOL) is a foundational challenge in NLP with wide-ranging applications in automated reasoning, misinformation tracking, and...

NL2FOL: Translating natural language to first-order logic for logical fallacy detection. ~ Abhinav Lalwani et als. arxiv.org/abs/2405.02318 #LLMs #Logig #SMT

5 2 0 0