A

A

• ablation,
  • integrated creativity, 1
• abstention,
  • interval-valued relation, 1
• abstraction,
  • mathematical creativity, 1
• accommodation, 1 2
  • artistic, 1
  • combinational creativity, 1
  • computational creativity, 1
  • differential form, 1
  • exploratory creativity, 1
  • Lie algebroidal form, 1
  • transformational creativity, 1
• active acquisition,
  • AGENTIC, 1
  • visual, 1
• active experiment,
  • symbolic theory, 1
• active teaching, 1
• admission, 1
  • locked split, 1
• admission contract,
  • initial sketch, 1
• admission record, 1
• affordance, 1
• AGENTIC, 1
  • controlled demonstration, 1
  • corpus testbed, 1
  • mathematical testbed, 1
  • simulator testbed, 1
  • text-to-image, 1

• AI Feynman,
  • categorical ladder, 1
• ALFWorld, 1
  • information contract, 1
• algebraic theory, 1
• ALLORA, 1
• anchor map, 1
• artifact dossier, 1
• ARTISTIC, 1
  • evaluation axes, 1
  • Firefly cricket challenge, 1
  • generator adapter, 1
  • interpretive boundary, 1
  • Movie Mode, 1
  • Nano Banana challenge, 1
  • natural images, 1
  • provider-conditioned utility, 1
  • staged evidence, 1
  • structural assurance, 1
• artistic creativity,
  • theory extension, 1
• artistic model space, 1
• artistic technique,
  • generator construction, 1
• ARTISTIC-T2I--0, 1
• assimilation, 1 2
  • artistic, 1
  • combinational creativity, 1
  • computational creativity, 1
  • differential form, 1
  • exploratory creativity, 1
  • Lie algebroidal form, 1

B

• BACON, 1
• Beck--Chevalley condition, 1
• blackbody radiation, 1
• blind watchmaker, 1

• Boden modes,
  • workflow composition, 1
• Bongard problems, 1
• BRIDGE, 1

C

• category, 1
• causal discovery,
  • structural accommodation, 1
• causal learning,
  • infinitesimal creativity, 1 2
• cellular automaton, 1
  • theory induction, 1
• certificate,
  • empirical, 1
  • formal, 1
  • simulator-relative, 1
  • workflow exchange, 1
• Chomsky, Noam, 1
• CLIC, 1 2 3
  • target card, 1
• closure failure,
  • artistic, 1
• coaching, 1
• COCO, 1
• cognitive development, 1
  • algebraic theories, 1
• combinational creativity,
  • DIAL interpretation, 1
• completeness,
  • vector field, 1
• composition,
  • sequential, parallel, choice, and feedback, 1
• computational creativity, 1
• computational irreducibility, 1
• concept invention, 1
• conceptual space,
  • exploration, 1
• connection,
  • paintbrush transport, 1
• conservation,
  • developmental psychology, 1
  • sketch acquisition, 1

• conservation law,
  • theory repair, 1
• conservativity,
  • artistic, 1
• core,
  • double vector bundle, 1 2
• corpus-to-theory construction, 1
• counter-witness,
  • pedagogical, 1
• Creative Adversarial Network, 1
• creative artifact,
  • artifact dossier, 1
• creative delta, 1
• creative exploration,
  • optimization landscape, 1
• creative interchange obstruction, 1 2 3
• creative mandate, 1
• creative object, 1
• creative workflows,
  • composition, 1
• creativity,
  • combinational, 1
  • differential geometry, 1
  • exploratory, 1 2
  • in DIAL-X, 1
  • in reinforcement learning, 1
  • lexical, 1
  • limits of formalization, 1
  • open domains, 1
  • related traditions, 1
  • scope of DIAL, 1
  • theory construction, 1
  • transformational, 1
• curve object, 1

D

• declaration accommodation, 1
• demonstration, 1
• developmental tower of theories, 1
• DIAL, 1 2 3
  • algorithmic realization, 1
  • empirical status, 1
  • four-level implementation invariant, 1
  • four-level semantics, 1
  • higher, 1
  • initialization, 1
  • Kan transport, 1
  • limitations, 1
  • music, 1
  • open problems, 1
  • readiness boundary, 1
• DIAL-ALLORA, 1
• DIAL-CAN, 1
  • calibration sequence, 1
• DIAL-GIRL, 1 2
• DIAL-SKFM, 1 2
• DIAL-SkillOpt, 1 2
  • experiments, 1
• DIAL-URL, 1
• DIAL-X, 1
• differential theory extension, 1 2

• Diffusers, 1
• diffusion model,
  • DIAL, 1
  • SDE deformation, 1
• DILATE, 1
  • natural-video routing, 1
  • paintbrush evidence, 1
• discovery skill,
  • training, 1
• document-to-sketch compilation, 1
• domain theory, 1
• double involution,
  • interpretation, 1
  • RELIC interpretation, 1
  • simulator-grounded discovery, 1
  • sketch semantics, 1
  • visual language, 1
• double involution algebroid, 1
• Double Involution ALgebroid, 1
• Double Involution Learning for Artistic Theory Extension, 1
• double Lie algebroid, 1 2 3 4 5
• double vector bundle, 1 2
• Drescher, Gary L., 1
• dynamical system,
  • in a tangent category, 1

E

• enriched sketch, 1
• equilibration,
  • creative systems, 1
• evaluation,
  • creative theory extension, 1
• evidential status,
  • admitted, 1
  • constructed, 1
  • DIAL-X, 1
  • estimated, 1
  • learned, 1
  • supplied or registered, 1

• evolution,
  • as creative process, 1
• experiment,
  • sketch acquisition, 1
• experimental support, 1
• explanation,
  • versus prediction, 1
• explanation-based generalization, 1
• explanation-based learning, 1

F

• failure localization,
  • RELIC, 1
• false repair, 1
• fiber metric,
  • paintbrush, 1
• field building, 1
• finite realization, 1
• finite symmetry worlds, 1

• finite-limit theory, 1
• flow,
  • assimilation and accommodation, 1
• formal proof, 1
• formal status,
  • DIAL, 1
• functor, 1

G

• genotype--phenotype map, 1
• geometry,
  • Euclidean and Cartesian, 1
• GIRL, 1 2
• Grothendieck topos, 1

• ground truth,
  • artistic theory extension, 1
• groupoid,
  • diffusion flow, 1

I

• image generator,
  • provider interface, 1
• imitation learning, 1
• impossible language, 1
• Indus Valley Civilization, 1
• infinitesimal probe, 1
• initialization,
  • theory, 1
• instruction, 1
• integrability,
  • creativity evaluation, 1
  • exploratory creativity, 1
  • theory repair, 1

• integrated creativity episode, 1
• integration observer, 1
• interface discovery, 1
• intrinsic motivation,
  • versus RELIC, 1
• intrinsic property,
  • generated discovery, 1
• involution algebroid, 1
  • internal witness, 1
  • n-fold, 1
  • skill optimization, 1

K

• Kan extension, 1
  • artistic theory, 1
  • left, 1
  • right, 1

• knowledge-acquisition bottleneck, 1

L

• language invention,
  • visual, 1
• large language model,
  • critique, 1
  • scientific discovery, 1
• latent factor,
  • presentation construction, 1
• Lawvere theory, 1 2
• Lea, 1
• LEAP system, 1

• learning apprentice, 1
• Lie algebroid, 1
  • artistic skill, 1
  • extension, 1
  • paintbrush, 1
• Lie bracket,
  • CLIC and OPTIC, 1
  • quotient residual, 1
• lossy functor, 1

M

• Mackenzie theory, 1
• MAPseq, 1
• Markdown,
  • skill program, 1
• mathematical creativity,
  • construction hierarchy, 1
• meta-creativity, 1
• meta-sketch, 1

• microplastics, 1
• model,
  • functorial, 1
  • of an algebraic theory, 1
• monoidal theory, 1
• music,
  • DIAL testbed, 1

N

• natural transformation, 1
• neologism, 1

• novelty, 1

O

• object permanence, 1
• observability,
  • visual contract, 1
• observer chart,
  • paintbrush, 1
• obstruction,
  • cross-workflow, 1

• operationality, 1
• OPTIC, 1 2 3
  • experiments, 1
  • target card, 1
• Oxford-IIIT Pet dataset, 1

P

• paintbrush,
  • generative dynamics, 1
• paired observation, 1
• persistence,
  • Weil profile, 1
• Piaget, Jean, 1 2
  • developmental stages, 1
• Planck, Max, 1

• possibility,
  • statistical versus structural, 1
• presheaf, 1
• probability-flow ODE, 1
• problem solving, 1
• Prometheus, 1
• PROP, 1
• proto-accommodation, 1

R

• radiative forcing, 1
• reinforcement learning,
  • coalgebraic accommodation, 1
  • infinitesimal creativity, 1
• RELIC, 1 2
  • active evidence acquisition, 1
  • combinational construction, 1
  • frozen schema, 1
  • schema accommodation, 1
  • stage construction, 1
  • target card, 1

• repair arity, 1

S

• schema mechanism, 1
• Schema Mechanism, 1
• scientific discovery, 1
  • autonomous agents, 1
  • BACON, 1
  • foundation models, 1
• score-based diffusion, 1
• semantic accommodation, 1
• SGTE, 1
• sheaf, 1
• simulator-grounded theory extension, 1
• singing mice, 1
• sketch, 1
  • acquisition, 1
  • implicit document presentation, 1
  • presentation of a theory, 1
  • tensor product, 1 2 3 4

• sketch extension,
  • artistic, 1
• SKFM, 1
• skill optimization, 1
  • infinitesimal creativity, 1 2
• SkillOpt, 1
• status-bearing extension dossier, 1
• structural accommodation,
  • reinforcement learning, 1
• structural obstruction,
  • artistic, 1
• structural packet, 1
• style ambiguity, 1
• surprise, 1
• symbolic regression, 1
• synergy,
  • creative workflows, 1

T

• tangent category, 1 2
• tangent depth, 1
• tangent probe,
  • interaction, 1
• target card, 1
• task theory, 1
• testbed,
  • integrated creativity, 1
  • mathematics, 1
  • scientific corpus, 1
  • simulation, 1
• text-to-image generation, 1
• textual inversion, 1
  • ARTISTIC calibration, 1
  • empirical calibration, 1
• theory,
  • causal, skill, and decision, 1

• theory change,
  • DIAL workflow, 1
• theory extension,
  • Lean calibration, 1
  • lexicon, 1
• theory revision,
  • dynamics, 1
• theory routing,
  • reuse, specialize, extend, 1
• theory surgery, 1
• theory transport, 1
• theory-extension package, 1
• tokenizer, 1
• transformational creativity,
  • DIAL interpretation, 1
• typed admission,
  • artistic theory, 1

U

• universal coalgebra,
  • theory construction, 1

V

• VB-algebroid, 1
• VIC hydrology model, 1
• visual declaration,
  • estimated, 1
• visual language,
  • construction, 1
  • empirical admission, 1

• visual theory invention, 1
• visual-language sketch, 1
• von Neumann, John, 1

W

• Weil algebra, 1 2
  • combinational creativity, 1
  • transformational creativity, 1
  • two uses, 1
• Weil probe,
  • artistic obstruction, 1

• Weil profile,
  • exploratory creativity, 1
• Wien's law, 1
• withheld-generator experiment, 1
• Wolfram, Stephen, 1
• workflow algebra, 1