Results 151 to 160 of about 39,214 (275)

On the arithmetic of automated theorem proving

, 2020
Matheus Pereira Lobo
openalex   +2 more sources

Road Layout in The KPZ Class. [PDF]

J Stat Phys
Balázs M, Bhattacharjee S, Das K, Harper D.   +3 more
europepmc   +1 more source

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search [PDF]

Zijian Wu, S. Y. Huang, Zhejian Zhou, Huaiyuan Ying, Jiayu Wang, Dahua Lin, Kai Chen, Chen, Kai   +7 more
openalex   +1 more source

SCADET: A detection framework for AI-generated artwork integrating dynamic frequency attention and contrastive spectral analysis. [PDF]

PLoS One
Zhang X, Yu Z, Zhao J.
europepmc   +1 more source

Is It Reasonable to Employ Agents in Automated Theorem Proving?

, 2016
Max Wisniewski, Christoph Benzmüller
openalex   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

From Width-Based Model Checking to Width-Based Automated Theorem Proving

, 2023
Mateus de Oliveira Oliveira, Farhad Vadiee   +1 more
openalex   +2 more sources

Decision support system based on AHP and PROMETHEE under rough pythagorean fuzzy set information for selection of basketball team. [PDF]

Sci Rep
Zhang C, Li G.
europepmc   +1 more source

CSE - A Automated Theorem Prover Based on Standard Contradiction Separation Dynamic Deduction [PDF]

Feng Cao, Jiafan Wang, Xu Yang, Jun Liu, Jianbing Yi   +4 more
openalex   +1 more source

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]

PLoS One
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc   +1 more source