Comments (2)
Can you provide sample on which canonicalizer produces invalid output? I need at least one test case so i know whether implementation is working or not.
from mathmlcaneval.
https://mir.fi.muni.cz/apps/MathCalEval/canonicoutput/view/23162
https://mir.fi.muni.cz/apps/MathCalEval/canonicoutput/view/22994
https://mir.fi.muni.cz/apps/MathCalEval/canonicoutput/view/22837
from mathmlcaneval.
Related Issues (20)
- Statistics are calculated twice HOT 2
- JSPException including path '/templates/default/template.jsp' HOT 1
- Description of annotations HOT 1
- Mass delete Exception
- Canonicalization does not work for me HOT 5
- Database change
- Improved statistics HOT 1
- Search - configuration HOT 1
- Mass canonicalization on search result
- Comparison of application runs HOT 2
- Annotate and next
- Same canonic output detection
- Changes detection HOT 3
- Statistics graph legend
- Statistics table update HOT 1
- Annotations with no user
- Database constraint changed.
- List of application runs doesn't show more than 10 items HOT 2
- Cannot annotate some canonic outputs HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from mathmlcaneval.