George Weale

Software engineer working on agent evaluation and systems

Appearance
George Weale

Papers

  1. Can Public LNP Data Rank the Next Library?

    [email protected]

    Decision budgetModerate budgets look better pointwise, but none remain resolved across the full seven-budget scan. Publication distance is visually structured but fails as a quality signal.

    LNP decision-budget recall curve, target-free publication distance map, and publication-support falsification scatter
  2. Do Fault-Detector Rankings Transfer?

    [email protected]

    Fault-mix stabilityThe recall deficit survives large changes in fault prevalence, while Pareto membership changes with the allowed false-alert burden.

    PCA-BOCPD recall deficit under fault-mix shift, reachable recall intervals, and detector Pareto membership by alarm budget
  3. Hénon-Heiles Escape Prediction from Noisy Position Histories

    [email protected]

    Forecastability atlasThe strong raw risk ordering follows a common energy gradient. Energy-adjusted and conditional diagnostics do not support independent predictive value from oracle instability.

    Hénon-Heiles escape-risk, position-history skill, and oracle-instability increment heatmaps across cells, noise levels, and horizons
  4. Decision Stability of Four Power-to-DMC Routes

    [email protected]

    Reversal envelopeThe nearest tie is an exact geometric margin on the published affine lines, not a probability distribution or a plant-uncertainty claim.

    Power-to-DMC route gaps, exact nearest reversal geometry, and decision-stability radii before and after rounding
  5. Cross-Domain Evaluation of Semantic Trace Summaries

    [email protected]

    Transport failure mapRecalibration narrows the global gap without reversing it. The cell map shows why: semantic summaries help and hurt in different held-out settings.

    Frozen and recalibrated Brier scores beside model-by-domain semantic feature effect heatmaps
  6. Contract-Scoped Behavioral Matching on QuixBugs

    [email protected]

    Witness stabilityMost rejections have redundant official witnesses. Four orientations expose the exact single-fixture boundary of the recorded contract.

    QuixBugs witness redundancy by rejected program and adversarial fixture-deletion survival curve
  7. Exergy-Guided Heat-Exchanger Network Synthesis Under Fixed Capacity

    [email protected]

    Topology regimesThe optimizer stays in one discrete regime over most tested weights, then switches near the exergy endpoint while held-out feasibility remains limited.

    Heat-exchanger topology regimes, held-out success matrix, and training utility trade across seven objective weights
  8. Structural Observability of a Vapor-Recompression Distillation Benchmark

    [email protected]

    Sensor observabilityDirect measurements remove null modes one at a time. Placement matters: two three-sensor combinations still leave the balance system structurally ambiguous.

    Direct-flow sensor subset nullity, three-sensor observability matrix, and recycle-mode detection by individual sensors

Project reports

Controlled Bottleneck Localization from Agent-Like Pipeline Traces

[email protected]

Topology identifiabilityTopology separates repeated resource labels and materially beats a duration baseline, but the pair-by-block raster exposes a hard multi-fault ceiling.

Agent-like pipeline topology, two-fault recovery interval, and pair-by-block exact-recovery raster

STRUST v1: An Evidence-Bounded Project Case Study

[email protected]

Evidence survivalWithin the declared graph, one modeled outcome claim survives while four lack their specified evidence bundles. The matrix is bookkeeping, not an externally validated evidence-strength score.

STRUST claim-to-artifact evidence matrix and required artifact coverage for five historical claim classes

Selected software and engineering projects

  • 2025

    Optimizing MoE Routers

    Compared transformer router designs across latency, expressiveness, and expert utilization.

  • 2024

    Time Series Prediction

    Modified the LSTM-FCN architecture with squeeze-and-excitation blocks and compared it with replication baselines across time-series datasets.

  • 2024

    Pico Size Chatbot

    Built and trained a small GPT-2-style chatbot on AWS and a university compute cluster.

  • 2024

    MealMapper - Columbia Startup Lab

    Built a meal-tracking system with PyTorch and YOLOv8 for food recognition and nutrition estimates, then deployed it on Google Cloud for sports nutritionists.

  • 2024

    Senior Design 2 - UCSB

    Designed and evaluated a carbon-negative dimethyl carbonate plant, including equipment, economics, and the effect of European carbon credits.

  • 2023

    Senior Design 1 - UCSB

    Ran a techno-economic analysis of a carbon-neutral steam ethane cracker, covering the reactor, distillation train, and heat-exchanger network.