NLP | Raihan Sultan Pasha Basukihttp://raihansltn.github.io/tags/nlp/NLPHugo Blox Builder (https://hugoblox.com)en-usSun, 04 Jan 2026 00:00:00 +0000http://raihansltn.github.io/media/icon_hu17982769080449357192.pngNLPhttp://raihansltn.github.io/tags/nlp/NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Modelshttp://raihansltn.github.io/publication/nl2logic/Sun, 04 Jan 2026 00:00:00 +0000http://raihansltn.github.io/publication/nl2logic/