Results 291 to 300 of about 1,558,985 (350)

Beyond PlasticSurgeryGPT: The Imperative for Reasoning-Enhanced Large Language Models in Plastic Surgery. [PDF]

Aesthet Surg J
Ray PP.
europepmc   +1 more source

Replication package for: E4R-Reviewer: An End-to-End Large Reasoning Model for Effective and Explainable Automated Code Review

Anonymous
openalex   +1 more source

Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises

, 2017
Angelo Kyrilov
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Generating and Exploiting Automated Reasoning Proof Certificates

Communications of the ACM, 2023
Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, C. Tinelli, Yoni Zohar   +12 more
semanticscholar   +1 more source

Automated reasoning tools in GeoGebra discovery

ACM Communications in Computer Algebra, 2021
We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes
Z. Kovács, T. Recio, M. Vélez
semanticscholar   +1 more source