Abstract: In artificial intelligence, it is crucial for pattern recognition systems to process data with uncertain information, necessitating uncertainty reasoning approaches such as evidence theory.

Logic studies how arguments work, and how ideas can fit together. Decision theory studies how decisions should be made, especially under uncertainty. Game theory considers how we reason strategically, ...

Researchers at Stanford and Caltech have found some critical reasoning failures in advanced AI models. LLMs are great at recognizing patterns, but they have trouble with basic logic, social reasoning, ...

Despite the name tex2typst due to the initial goal of converting TeX to Typst, the library can also convert Typst to TeX since version 0.3.0.