Cover Image

Gödel's Poetry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Davis, Kelly J.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SGM: A Statistical Godel Machine for Risk-Controlled Recursive Self-Modification
by: Wu, Xuening, et al.
Published: (2025)

Gödel Test: Can Large Language Models Solve Easy Conjectures?
by: Feldman, Moran, et al.
Published: (2025)

A Rhythm-Aware Phrase Insertion for Classical Arabic Poetry Composition
by: Elzohbi, Mohamad, et al.
Published: (2025)

CharPoet: A Chinese Classical Poetry Generation System Based on Token-free LLM
by: Yu, Chengyue, et al.
Published: (2024)

Redefining Data-Centric Design: A New Approach with a Domain Model and Core Data Ontology for Computational Systems
by: Johnson, William, et al.
Published: (2024)

From Adversarial Poetry to Adversarial Tales: An Interpretability Research Agenda
by: Bisconti, Piercosma, et al.
Published: (2025)

On-Policy Optimization of ANFIS Policies Using Proximal Policy Optimization
by: Shankar, Kaaustaaub, et al.
Published: (2025)

Gradient-Optimized Fuzzy Classifier: A Benchmark Study Against State-of-the-Art Models
by: Sieverding, Magnus, et al.
Published: (2025)

Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination
by: Tomkins-Flanagan, Eilene, et al.
Published: (2025)

Comprehensive Overview of Artificial Intelligence Applications in Modern Industries
by: Weng, Yijie, et al.
Published: (2024)

On the Expressive Power of Graph Neural Networks
by: Nalwade, Ashwin, et al.
Published: (2024)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
by: Motwani, Sumeet Ramesh, et al.
Published: (2026)

Fusing Multi- and Hyperspectral Satellite Data for Harmful Algal Bloom Monitoring with Self-Supervised and Hierarchical Deep Learning
by: LaHaye, Nicholas, et al.
Published: (2025)

Deep Neural Network Benchmarks for Selective Classification
by: Pugnana, Andrea, et al.
Published: (2024)

PatchCTG: Patch Cardiotocography Transformer for Antepartum Fetal Health Monitoring
by: Khan, M. Jaleed, et al.
Published: (2024)

Contextual Thompson Sampling via Generation of Missing Data
by: Zhang, Kelly W., et al.
Published: (2025)

Bayesian Inference for Correlated Human Experts and Classifiers
by: Kelly, Markelle, et al.
Published: (2025)

Dealing with Uncertainty in Contextual Anomaly Detection
by: Bindini, Luca, et al.
Published: (2025)

AI Alignment with Changing and Influenceable Reward Functions
by: Carroll, Micah, et al.
Published: (2024)

FlashOptim: Optimizers for Memory-Efficient Training
by: Ortiz, Jose Javier Gonzalez, et al.
Published: (2026)

G-PARC: Graph-Physics Aware Recurrent Convolutional Neural Networks for Spatiotemporal Dynamics on Unstructured Meshes
by: Beerman, Jack T., et al.
Published: (2026)

Impatient Bandits: Optimizing for the Long-Term Without Delay
by: Zhang, Kelly W., et al.
Published: (2025)

Detecting Jailbreak Attempts in Clinical Training LLMs Through Automated Linguistic Feature Extraction
by: Nguyen, Tri, et al.
Published: (2026)

BrowserArena: Evaluating LLM Agents on Real-World Web Navigation Tasks
by: Anupam, Sagnik, et al.
Published: (2025)

When Your AIs Deceive You: Challenges of Partial Observability in Reinforcement Learning from Human Feedback
by: Lang, Leon, et al.
Published: (2024)

Efficient Imitation Without Demonstrations via Value-Penalized Auxiliary Control from Examples
by: Ablett, Trevor, et al.
Published: (2024)

KG-FGNN: Knowledge-guided GNN Foundation Model for Fertilisation-oriented Soil GHG Flux Prediction
by: Zhang, Yu, et al.
Published: (2025)

MINAR: Mechanistic Interpretability for Neural Algorithmic Reasoning
by: He, Jesse, et al.
Published: (2026)

Fisher Flow Matching for Generative Modeling over Discrete Data
by: Davis, Oscar, et al.
Published: (2024)

Model editing for distribution shifts in uranium oxide morphological analysis
by: Brown, Davis, et al.
Published: (2024)

Hidden Convexity of Fair PCA and Fast Solver via Eigenvalue Optimization
by: Shen, Junhui, et al.
Published: (2025)

Exploring the Performance of Perforated Backpropagation through Further Experiments
by: Brenner, Rorry, et al.
Published: (2025)

Efficient Regression-Based Training of Normalizing Flows for Boltzmann Generators
by: Rehman, Danyal, et al.
Published: (2025)

What do Geometric Hallucination Detection Metrics Actually Measure?
by: Yeats, Eric, et al.
Published: (2026)

Genetic Generalized Additive Models
by: Shankar, Kaaustaaub, et al.
Published: (2026)

PRISM-CTG: A Foundation Model for Cardiotocography Analysis with Multi-View SSL
by: Wong, Sheng, et al.
Published: (2026)

MAP's not dead yet: Uncovering true language model modes by conditioning away degeneracy
by: Yoshida, Davis, et al.
Published: (2023)

Working Backwards: Learning to Place by Picking
by: Limoyo, Oliver, et al.
Published: (2023)

Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic
by: Hanley, Connor, et al.
Published: (2025)

Learning An Active Inference Model of Driver Perception and Control: Application to Vehicle Car-Following
by: Wei, Ran, et al.
Published: (2023)