Sofoklis Kyriakopoulos
sofoklis-k.bsky.social
Sofoklis Kyriakopoulos
@sofoklis-k.bsky.social
Reposted by Sofoklis Kyriakopoulos
[1/2] We've released the code for LegoGPT. Our autoregressive model generates physically stable and buildable designs from text prompts by integrating physics laws and assembly constraints into LLM training and inference.

Code: github.com/AvaLovelace1...
Website: avalovelace1.github.io/LegoGPT/
May 10, 2025 at 3:06 AM
Reposted by Sofoklis Kyriakopoulos
NL2FOL: Translating natural language to first-order logic for logical fallacy detection. ~ Abhinav Lalwani et als. arxiv.org/abs/2405.02318 #LLMs #Logig #SMT
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...
arxiv.org
March 4, 2025 at 8:23 AM
Reposted by Sofoklis Kyriakopoulos
📝 Paper: Atom of Thoughts for Markov LLM Test-Time Scaling (arxiv.org/abs/2502.12018)
📦 Code: github.com/qixucen/atom
March 3, 2025 at 2:41 AM
Reposted by Sofoklis Kyriakopoulos
One of the most interesting new research in the LLM space: introducing Large Language Diffusion Models. arxiv.org/pdf/2502.09992
arxiv.org
February 17, 2025 at 9:49 AM
Reposted by Sofoklis Kyriakopoulos
if you want to try a diffusion LLM, inception labs just released one. it goes 1000 tokens/sec on regular H100s, absolutely nuts how fast it is

speed alone makes these things interesting

www.inceptionlabs.ai/news
February 27, 2025 at 2:29 AM
Reposted by Sofoklis Kyriakopoulos
One more week until the abstract deadline 😲
As an extra motivator, we are excited to announce our amazing keynote speakers 🤩!

- Guy van den Broeck (@guyvdb.bsky.social UCLA)
- Thomas Kipf (@tkipf.bsky.social Google DeepMind)
- Deborah McGuinness (RPI)

2025.nesyconf.org
NeSy 2025
19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025, 8-10 September 2025, Santa Cruz, CA, USA)
2025.nesyconf.org
February 21, 2025 at 1:50 PM
Reposted by Sofoklis Kyriakopoulos
We have a 60 pager / survey / handbook on Mapping the Neuro-Symbolic AI Landscape by Architectures
Mapping the Neuro-Symbolic AI Landscape by Architectures: A...
Integrating symbolic techniques with statistical ones is a long-standing problem in artificial intelligence. The motivation is that the strengths of either area match the weaknesses of the other, and...
buff.ly
February 21, 2025 at 8:35 PM