Recent searches

No recent searches

Search options

Only available when logged in.
med-mastodon.com is one of the many independent Mastodon servers you can use to participate in the fediverse.
Medical community on Mastodon

Administered by:

Server stats:

362
active users

med-mastodon.com: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.1

#atp

4 posts4 participants0 posts today
Bielefeld

Tennisprofi Daniel Altmaier besucht Kinderzentrum Bethel

„Die zweite Turnierwoche bei kommenden Grand Slams ist ab sofort natürlich mein vorrangiges Ziel“, schmunzelt Daniel Altmaier aus…
#Bielefeld #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #Altmaier #ATP #Bethel #Germany #Kempen #Kinderzentrum #Klinikums #Nordrhein-Westfalen #Rasenturnier #Terra #Turnier #Turnierwoche #Wortmann
europesays.com/de/202731/

José A. Alonso

Are LLMs reliable translators of logical reasoning across lexically diversified contexts? ~ Qingchuan Li et als. arxiv.org/abs/2506.04575v1 #LLMs #Math #ATP #Prover9

arXiv.orgAre LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts?Neuro-symbolic approaches combining large language models (LLMs) with solvers excels in logical reasoning problems need long reasoning chains. In this paradigm, LLMs serve as translators, converting natural language reasoning problems into formal logic formulas. Then reliable symbolic solvers return correct solutions. Despite their success, we find that LLMs, as translators, struggle to handle lexical diversification, a common linguistic phenomenon, indicating that LLMs as logic translators are unreliable in real-world scenarios. Moreover, existing logical reasoning benchmarks lack lexical diversity, failing to challenge LLMs' ability to translate such text and thus obscuring this issue. In this work, we propose SCALe, a benchmark designed to address this significant gap through **logic-invariant lexical diversification**. By using LLMs to transform original benchmark datasets into lexically diversified but logically equivalent versions, we evaluate LLMs' ability to consistently map diverse expressions to uniform logical symbols on these new datasets. Experiments using SCALe further confirm that current LLMs exhibit deficiencies in this capability. Building directly on the deficiencies identified through our benchmark, we propose a new method, MenTaL, to address this limitation. This method guides LLMs to first construct a table unifying diverse expressions before performing translation. Applying MenTaL through in-context learning and supervised fine-tuning (SFT) significantly improves the performance of LLM translators on lexically diversified text. Our code is now available at https://github.com/wufeiwuwoshihua/LexicalDiver.
TrendingLive feeds
About