Permalink
Switch branches/tags
Nothing to show
Commits on Mar 30, 2018
  1. Update README.md

    yoavartzi committed Mar 30, 2018
Commits on Dec 24, 2016
  1. Remove TOC from README

    yoavartzi committed Dec 24, 2016
  2. Minor README update

    yoavartzi committed Dec 24, 2016
Commits on Jan 28, 2016
  1. README fix

    yoavartzi committed Jan 28, 2016
  2. Merge branch 'master' of ssh://bitbucket.org/yoavartzi/spf

    yoavartzi committed Jan 28, 2016
    # Conflicts:
    #	README.md
  3. - Support for crossing and high order composition.

    yoavartzi committed Jan 28, 2016
    - Proper implementation of normal form parsing with Eisner (1996) NF.
    - Hockenmaier and Bisk (2010) NF parsing.
    - IDs for generalized skolem terms.
    - Improvement to GENLEX procedures + composite lexicon to easily combine GENLEX procedures.
    - Better marking mechanism for CKY cells for constrained GENLEX parses.
    - Data items for situated sentences.
    - Improvements to situated (joint) inference.
    - Model now automatically distinguishes between lexical and parse features.
    - Numerous bug fixes and minor improvements.
    - Store argument in Literal as array instead of List for better performance.
    - Better performing LogicalExpression simplification.
    - Massive performance improvements.
    - Variables now behave like in programming languages and "hide" each other. Variables names can be re-used and will be resolved correctly according to current scope.
    - Support for syntactic attributes (e.g., S[dcl]) and single variable for agreement (e.g., S[x]\S[x]).
    - CKY parsing derivations now store complete categories rather than only the logical forms (syntax included).
    - Multiple assertion checks -- NOTE: running with assertions on decreases performance significantly.
    - Revise lexical factoring to work with syntactic attributes.
    - spfdist: a simple distribution framework with no architecture assumptions (written with Mark Yatskar)
    - Rename framework and packages
    - Numerous other changes and optimizations
Commits on Oct 12, 2015
Commits on Sep 21, 2015
Commits on Sep 11, 2014
  1. Fixed some Eclipse project file bug

    Yoav Artzi
    Yoav Artzi committed Sep 11, 2014
Commits on Jun 30, 2014
  1. Remove image from README.md

    Yoav Artzi
    Yoav Artzi committed Jun 30, 2014
  2. Add group link

    Yoav Artzi
    Yoav Artzi committed Jun 30, 2014
Commits on Jun 23, 2014
  1. Add links to tutorial videos to README

    Yoav Artzi
    Yoav Artzi committed Jun 23, 2014
Commits on May 15, 2014
Commits on May 1, 2014
  1. # v1.5.5

    Yoav Artzi
    Yoav Artzi committed May 1, 2014
    - Bug in identifying full parses when using unary rules.
Commits on Apr 15, 2014
  1. # v1.5.4

    Yoav Artzi
    Yoav Artzi committed Apr 15, 2014
    - Introduce a readers system to read logical expressions from text. Also, make logical expression equality more flexible. Makes it easier to add new logical expression objects to hierarchy.
    - Various minor (but important) optimizations.
    - Add labeled single sentence data item with lexical entries.
    - Utility to parse a single sentence with a lexicon.
    - Support for generalized function composition.
    - Rewrite how the parser handles unary rules: more correct and better re-use of computations.
Commits on Feb 23, 2014
  1. # v1.5.3

    Yoav Artzi
    Yoav Artzi committed Feb 23, 2014
    - Fix pruning in SingleSentence.
    - Fixes and cleaning in LogicLanguageServices. Mostly relevant when working without a close ontology.
    - Keep the overflows away. Switch all exponentiated computations to log-space.
    - Fixed a small bug in example GeoQuery experiment.
Commits on Feb 17, 2014
  1. # v1.5.2

    Yoav Artzi
    Yoav Artzi committed Feb 17, 2014
    - Revamp joint inference derivations and output: a derivation now includes all possible ways to create a certain result (i.e., it marginalizes over everything except the final result). Injective inference makes certain assumptions to provide a simpler interface. The general joint derivation doesn't support any dynamic programming for semantics evaluation.
    - Improve joint inference javadocs.
    - Add approximate/exact inference indication for inference outputs.
    - Fix bug in TroveHashVector.
    - Fix bug in LogicalConstant equality.
Commits on Jan 15, 2014
  1. Update README with an existing issue

    Yoav Artzi
    Yoav Artzi committed Jan 15, 2014
Commits on Nov 16, 2013
  1. v1.5.1:

    Yoav Artzi
    Yoav Artzi committed Nov 16, 2013
    - Fixed inconsistencies in GeoQuery experiments.
    - Release GeoQuery experiments with unification-based GENLEX. NOTE: these experiments don't re-create the results of Kwiatkowski et al. 2010/2011 as the implementation of GENLEX is different.
    - Move version info outside of README and build.xml.
Commits on Nov 14, 2013
  1. # v1.5

    Yoav Artzi
    Yoav Artzi committed Nov 14, 2013
    - Better support for closed and open ontologies
    	- Add option to allow using an ontology or not
    	- Ontologies may now be closed or open
    	- Explicit way to dynamically define new constants outside of .ont files
    - Consolidate unit tests in a separate project
    - Remove some unused code
    - Removing stripping of redundant lambda operators
    	- Simplifying to the canonical form doesn't strip redundant lambda operator.
    	- All implicit lambda operators are always present in the logical form.
    	- Converting a logical form to a string strips lambda operators for readability.
    	- Missing lambda operator in input logical expressions are added.
    - Safety assertion in various constructors
    - Improved support for joint inference and situated language
    - GeoQuery example experiment without the experiment platform -- possibly a better way to get to know the code for some.
    - Remove old storage mechanism and add support for saving models using serialization, including helper methods in the Model class.
    - Removed concept of fixed lexical entry.
    	- No distinction between fixed lexical entries and normal ones.
    	- Initialization of seed entries is done using model initializers.
    - Migrate all creators to inside the class they are creating (as internal classes).
    - Fix bug with initializing the lexicon.
    - Remove unused typing features.
    - Better and more consistent typing validation and type consistency checks across the framework.
    - Remove support for unary parse rules. Unary operations are now supported only through overloading binary rules. See RuleSetBuilder.
    - Hash vector improvements
    	- Pairwise hash vector product.
    	- Add method to apply a function all values in the hash vector.
    - Attach Arxiv publication PDF and BIB files to source code.
Commits on Nov 3, 2013
  1. # v1.4.1

    Yoav Artzi
    Yoav Artzi committed Nov 3, 2013
    - Cleaned up using of generics throughout the system. Generic classes should now compatible
    - Better logging system - all logs are now public and can be controlled from outside SPF without editing SPF's code
    - Javadocs for many generic classes
    - Better abstraction in ExPlat's experiment hierarchy
    - Better representations of situated data items
Commits on Oct 22, 2013
  1. update README with GeoQuery experiment command

    Yoav Artzi
    Yoav Artzi committed Oct 22, 2013
Commits on Oct 16, 2013
  1. update readme

    Yoav Artzi
    Yoav Artzi committed Oct 16, 2013
  2. Update README + add bib file

    Yoav Artzi
    Yoav Artzi committed Oct 16, 2013
Commits on Aug 31, 2013
  1. readme version

    Yoav Artzi
    Yoav Artzi committed Aug 31, 2013
  2. Numerous improvements to explat and many more creators (especially fo…

    Yoav Artzi
    Yoav Artzi committed Aug 31, 2013
    …r parser) + better handling of generics + many fixes and updates
Commits on Aug 4, 2013
  1. fix README

    Yoav Artzi
    Yoav Artzi committed Aug 4, 2013
  2. Huge update: GeoQuery example experiments, much better type safety ac…

    Yoav Artzi
    Yoav Artzi committed Aug 4, 2013
    …ross the platform, simplified data items and separate lexical generation methods
Commits on Jul 12, 2013
  1. rename packages

    Yoav Artzi
    Yoav Artzi committed Jul 12, 2013
  2. move packages

    Yoav Artzi
    Yoav Artzi committed Jul 12, 2013
  3. update readme

    Yoav Artzi
    Yoav Artzi committed Jul 12, 2013
  4. update readme

    Yoav Artzi
    Yoav Artzi committed Jul 12, 2013
  5. Code organization + validation learners + bug fixes

    Yoav Artzi
    Yoav Artzi committed Jul 12, 2013