IEEE

Integer Ambiguity Baseline Rectifying for GNSS Augmentation Services by Linear Programming Method

Abstract: The advent of the global navigation satellite system has greatly enhanced satellite positioning technology, with precise point positioning (PPP) emerging as a prominent technique. Despite ...
IEEE

Optimal Output–Feedback Tracker Design of Linear Quadratic Tracking Problem Using High-Order Filter and Incremental Data Adaptive Dynamic Programming

Abstract: In this study, a novel optimal tracker is developed for the linear quadratic tracking (LQT) problem using an output–feedback adaptive dynamic programming (ADP) framework. By leveraging the ...
GitHub

RENT: Reinforcement Learning via Entropy Minimization

RENT is an unsupervised method for training reasoning LLMs by minimizing entropy. We demonstrate on a variety of datasets and models that RENT improves model performance without using any ground truth ...
GitHub

A Python toolkit for conformal field theory (CFT) and amplitude bootstrap calculations, with applications to string theory.

This project implements numerical bootstrap methods for studying conformal field theories and scattering amplitudes, with a focus on connections to string theory through the Veneziano amplitude and ...