Cover Image

Simulating Student Success in the Age of GenAI: A Kantian-Axiomatic Perspective

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kayadibi, Seyma Yaman
Format:	Preprint
Published:	2025
Subjects:	Computers and Society Artificial Intelligence 03B25, 03A05, 68T07, 97U70 F.4.1; I.2.0; K.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Monad-Based Clause Architecture for Artificial Age Score (AAS) in Large Language Models
by: Kayadibi, Seyma Yaman
Published: (2025)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
by: Kayadibi, Seyma Yaman
Published: (2025)

Automated Feedback Generation for Undergraduate Mathematics: Development and Evaluation of an AI Teaching Assistant
by: Gohr, Aron, et al.
Published: (2026)

Quantifying Student Success with Generative AI: A Monte Carlo Simulation Informed by Systematic Review
by: Kayadibi, Seyma Yaman
Published: (2025)

The Significance of Symbolic Logic for Scientific Education
by: Platzer, André
Published: (2024)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Geist in the Machine: Simulating Recognition and Inner Dialogue in AI-Mediated Teaching and Research
by: Magee, Liam
Published: (2026)

AI Literacy and LLM Engagement in Higher Education: A Cross-National Quantitative Study
by: Hossain, Shahin, et al.
Published: (2025)

Redundancy-as-Masking: Formalizing the Artificial Age Score (AAS) to Model Memory Aging in Generative AI
by: Kayadibi, Seyma Yaman
Published: (2025)

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Nominal techniques as an Agda library
by: Gabbay, Murdoch J., et al.
Published: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
by: Alpay, Faruk
Published: (2025)

Axiomatization of Compact Initial Value Problems: Open Properties
by: Platzer, André, et al.
Published: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)

Cognitive-Uncertainty Guided Knowledge Distillation for Accurate Classification of Student Misconceptions
by: Liu, Qirui, et al.
Published: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
by: Alpay, Faruk
Published: (2025)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

Recent Advances in Data-Driven Business Process Management
by: Ackermann, Lars, et al.
Published: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Machine Learning as Performative Materialist Practice: Thirteen Theses on the Epistemology, Methodology, and Politics of Applied ML
by: De Unánue, Adolfo, et al.
Published: (2026)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)