Skip to content

Conversation

@eb8680
Copy link
Contributor

@eb8680 eb8680 commented Dec 22, 2025

No description provided.

jfeser and others added 17 commits October 20, 2025 09:14
* install prettyprinter for term when library is available

* lint

* move code into types.py
* convert evaluate to a singledispatch

* lint
* deprecate defterm

* remove defterm case

* remove defterm

* lint

* evaluate distribution arguments

* lint

* remove interpreter

* Revert "remove interpreter"

This reverts commit 3044277.

* wip

* lint
… and handling of distribution methods (#311)

* refactor distribution operations

* add a test for typeof of distributions

* add tests for symbolic dists/arguments

* introduce operations for distribution methods

* comment

* fix tests

* work around #310

* replace hack with new hack

* tweak repr for _BaseOperation

* lint

* work around #312

* clean up access to dist ops

* wip

* wip

* add type annotations to get correct term conversion

* lint

* include distribution arguments as properties

* fix distribution calls

* try again

* fixes

* format
* box the output of __type_rule__

* fix tests

* fix tests

* require callers of __type_rule__ to box arguments

* fix

* move Box out of ops.types

* lint

* fix test
* fix recursion error in sizesof

* format
…hod (#414)

* stash

* fixes

* initial

* wip

* lint

* ensure each subclass has a fresh operation

* wip

* wip

* lint

* wip

* wip

* lint

* refactor class method support

* move defops

* fix test

* remove singledispatch case and add test

* move definition

* cleanup

* simplify

* cleanup

* lint

* fix failing test

* fix classmethod

* __isabstractmethod__

* revert

---------

Co-authored-by: Eli <eli@basis.ai>
* generalize __get__

* nits

* coverage of methoddescriptor api

* methodtype

* simplify

* simplify

* simplify

* format

* revert

* restore

* simplify

* simplify

* retain instance op on term construction

* Simplify apply inheritance

* assign

* put call next to init_subclass

* add explanatory comment

* Operation.apply -> Operation.__apply__

* add test based on issue description

* fix doctest
* fixed dataclass ordering and added metaclass for simplifying construction of dataclass terms

* ensure term fields are not being overriden

* added decorator and dataclass

* updated to make defdata registration automatic

* simplified dataclass loop

* updated to give property op an appropriate name

* added failing tests

* fixed failing test

* fixed numpyro/pyro/torch interfaces

* minor fix + test for deffn kwargs
* format example code

* type check examples
* add beam search example using thermometer continuations

* address comments

* add docstring

* lint
* fix for jax 0.8.2

* add more register

* format
@eb8680 eb8680 requested review from datvo06 and jfeser December 22, 2025 21:03
@eb8680 eb8680 merged commit 8530fd0 into staging-llm Dec 22, 2025
12 of 13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants